Add a bit of margin on the statusbar

So that the text doesn't touch the side of the window. And it
looks much cleaner.

diff --git a/gtk/gtkstatusbar.ui b/gtk/gtkstatusbar.ui
index 39bacbca5bf5e2fe7ea988d8c5a048282dae398f..94c7f67fd98336bebc833d6dcd78d4aa955f45c8 100644 (file)
--- a/gtk/gtkstatusbar.ui
+++ b/gtk/gtkstatusbar.ui
@@ -5,6 +5,10 @@
     <property name="can_focus">False</property>
     <property name="vexpand">False</property>
     <property name="spacing">2</property>
+    <property name="margin_left">10</property>
+    <property name="margin_right">10</property>
+    <property name="margin_top">6</property>
+    <property name="margin_bottom">6</property>
     <child>
       <object class="GtkFrame" id="frame">
         <property name="visible">True</property>